From: Florian Müllner <fmuellner@gnome.org>
Date: Fri, 15 Jun 2012 13:49:24 +0000 (+0200)
Subject: workspace: Remove unused method
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~6461
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=2404d2935dc524fce4bdcebb77b25853fd82fb81;p=gnome-shell.git

workspace: Remove unused method

This one hasn't been used for quite a while now ...

https://bugzilla.gnome.org/show_bug.cgi?id=678416
---

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index a1631a00a..25626fc5e 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -1121,16 +1121,6 @@ const Workspace = new Lang.Class({
         }
     },
 
-    _showAllOverlays: function() {
-        let currentWorkspace = global.screen.get_active_workspace();
-        for (let i = 0; i < this._windows.length; i++) {
-            let clone = this._windows[i];
-            let overlay = this._windowOverlays[i];
-            this._showWindowOverlay(clone, overlay,
-                                    this.metaWorkspace == null || this.metaWorkspace == currentWorkspace);
-        }
-    },
-
     _hideAllOverlays: function() {
         for (let i = 0; i < this._windows.length; i++) {
             let clone = this._windows[i];